Books by author Richard Bubel

Showing 1 – 3 out of 3 results

1. 

   Logic of Software. A Tasting Menu of Formal Methods

   Einar Broch Johnsen, Richard Bubel, Bernhard Beckert | Springer International Publishing AG, 2022

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   102.84 €

   Sale 7 %

   You save 8.61 €

   Buy
2. 

   Deductive Software Verification: Future Perspectives

   Bernhard Beckert, Mattias Ulbrich, Reiner Hähnle, Richard Bubel | Springer Nature Switzerland AG, 2020

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.62 €

   Sale 7 %

   You save 4.28 €

   Buy
3. 

   Deductive Software Verification - The KeY Book

   Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich | Springer International Publishing AG, 2016

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   123.35 €

   Sale 7 %

   You save 10.31 €

   Buy

Books can be collected at many points all over Slovakia. Find out more